Inhalt des Dokuments

Forschung

Artikel akzeptiert (FORMATS 2011)

Freitag, 08. Juli 2011

Artikel "Rigorous Discretization of Hybrid Systems Using Process Calculi" akzeptiert für 9th International Conference on Formal Modeling and Analysis of Timed Systems (Co-Autoren Sven Schneider, Uwe Nestmann)

---